// Copyright 2017 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#pragma once

// Interesting GPIOs
#define GPIO_HDMI_MUX 20
#define GPIO_PWRON_DET 34
#define GPIO_HDMI_PD 41
#define GPIO_HUB_VDD33_EN 46
#define GPIO_USER_LED1 150
#define GPIO_USER_LED2 151
#define GPIO_HDMI_INT 180
#define GPIO_USER_LED3 189
#define GPIO_USER_LED4 190
#define GPIO_VBUS_TYPEC 202
#define GPIO_USBSW_SW_SEL 206
